21. Multiset Processing :
پدیدآورنده: Gerhard Goos
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA75
.
5
G474
2001
22. Paralleles Rechnen und nicht-analytische Lösungsverfahren :
پدیدآورنده: Gerhard Goos
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Informatik.,Mathematisches Modell ; SWD-ID: 41145288,Paralleler Algorithmus ; SWD-ID: 41936152
23. Theorem Proving in Higher Order Logics :
پدیدآورنده: edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
24. Vorlesungen a1/4ber informatik.
پدیدآورنده: Gerhard Goos
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
25. Vorlesungen über Informatik :
پدیدآورنده: von Gerhard Goos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
رده :
QA76
.
7
V664
1995
26. Vorlesungen über Informatik :
پدیدآورنده: von Gerhard Goos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithm Analysis and Problem Complexity.,Computer science.,Computer Science.
27. Vorlesungen über Informatik :
پدیدآورنده: von Gerhard Goos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
رده :
QA76
.
7
V664
1997
